Runtime Fault Detection in Programmed Molecular Systems
نویسندگان
چکیده
منابع مشابه
Runtime Fault Detection in Programmed Molecular Systems
Watchdog timers are devices that are commonly used to monitor the health of safety-critical hardware and software systems. Their primary function is to raise an alarm if the monitored systems fail to emit periodic “heartbeats” that signal their wellbeing. In this paper we design and verify a molecular watchdog timer for monitoring the health of programmed molecular nanosystems. This raises new ...
متن کاملRuntime Fault Detection and Localization in Component-oriented Software Systems
In this paper we introduce a novel technique for run-time fault detection and localization in component-oriented software systems. Our novel approach allows to define arbitrary properties via rules at the component level. By monitoring the software system at run-time we can detect violations of these properties and, most notably, also localize possible causes for specific property violation(s)....
متن کاملFRAPpuccino: Fault-detection through Runtime Analysis of Provenance
We present FRAPpuccino (or FRAP), a provenancebased fault detection mechanism for Platform as a Service (PaaS) users, who run many instances of an application on a large cluster of machines. FRAP models, records, and analyzes the behavior of an application and its impact on the system as a directed acyclic provenance graph. It assumes that most instances behave normally and uses their behavior ...
متن کاملFault Detection in Nonlinear Systems
− This communication deals with the problem of fault detection and localization for a wide class of nonlinear systems subjected to bounded nonlinearities. A dedicated nonlinear observer scheme (DNOS) for fault detection and identification of observable systems is proposed.
متن کاملFault detection in photovoltaic systems
This master’s thesis concerns three different areas in the field of fault detection in photovoltaic systems. Previous studies have concerned homogeneous systems with a large set of parameters being observed, while this study is focused on a more restrictive case. The first problem is to discover immediate faults occurring in solar panels. A new online algorithm is developed based on similarity ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: ACM Transactions on Software Engineering and Methodology
سال: 2019
ISSN: 1049-331X,1557-7392
DOI: 10.1145/3295740